Applications du calcul formel à la balistique

نویسندگان

  • Alain Carrière
  • Louis-Rémi Oudin
چکیده

This paper gives an overview of various forms of the differential equations of exterior, interior and terminal ballistics, as well as a presentation of the problems they induce in computer algebra. Some of these problems have been investigated at ISL (French-German Institute of Saint-Louis): through the quasi-monomial transforms (QMT) of Brenig, for the ordinary differential equations (ODE’s) of exterior ballistics that have been implemented in REDUCE and led to numerical applications, _ asymptotic expansions of solutions of the ordinary differential equations in the “Winter thermodynamic” model of interior ballistics. In the prospects, we quote the application of the quasi monomial transform for solving ordinary differential equations, resulting of a separation of variables (by consideration of symmetry groups) of the partial differential equations of interior and terminal ballistics (with a first application concerning nuclear explosions).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Chapitre 1 DE L ’ ALGÈBRE LINÉAIRE À LA RÉSOLUTION DES

Ce chapitre traite de la résolution des systèmes d’équations polynomiales et fait suite au chapitre 4 du tome Mathématiques L2, Pearson Education, 2007, qui introduisait certains algorithmes fondamentaux du calcul formel. Même si le champ des problématiques abordées par le calcul formel est bien plus vaste que la résolution des systèmes polynomiaux, cette dernière problématique occupe une place...

متن کامل

Calcul parallèle du polynôme minimal entier avec Athapascan-1 et Linbox

Une brique essentielle du calcul formel est le calcul du polynôme minimal d’une matrice creuse entière. Nous montrons, en analysant les performances pratiques de la parallélisation de cet exemple, l’adéquation du modèle de programmation parallèle Athapascan-1 [11, 6] avec un traitement portable et efficace de grands problèmes fondamentaux du calcul formel. En outre, cet algorithme a permis un p...

متن کامل

Un exemple d'utilisation du calcul formel sur ordinateur : méthode générale de localisation des racines d'une équation algébrique à coefficients complexes

L’accès aux archives de la revue « Revue française d’automatique informatique recherche opérationnelle. Mathématique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyr...

متن کامل

Applications of the Quillen-Suslin theorem to multidimensional systems theory

The purpose of this paper is to give four new applications of the Quillen-Suslin theorem to mathematical systems theory. Using a constructive version of the Quillen-Suslin theorem, also known as Serre’s conjecture, we show how to effectively compute flat outputs and injective parametrizations of flat multidimensional linear systems. We prove that a flat multidimensional linear system is algebra...

متن کامل

Une justification partielle du modèle de plaque en flexion par Γ - convergence

Résumé. On considère un solide tridimensionnel cylindrique formé d’un matériau de Saint Venant– Kirchhoff dont on fait tendre l’épaisseur vers zéro. Après changement d’échelle, les quasiminimiseurs de l’énergie élastique convergent vers des minimiseurs de la Γ-limite de l’énergie tridimensionnelle. Pour des forces volumiques de l’ordre de grandeur du carré de l’épaisseur, quitte à effectuer des...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 187  شماره 

صفحات  -

تاریخ انتشار 1997